基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

卫星能源约束检查模型改进及仿真

卫星能源约束检查模型对卫星任务规划有重要参考作用,可防止因能源不足而导致卫星故障或任务不能顺利完成。现有的能源约束检查模型存在部分问题:人为设定计算初始值,导致计算不准确;能源约束检查不通过时未给出符合能源约束的任务调整建议,导致任务不能快速调整;未对计算误差进行校正,导致误差积累。对此,提出了一种改进的能源约束检查模型,在原有模型中加入能源数据库对卫星运行的能源数据进行记录,从而准确获取初始值,并在模型中加入任务调整和遥测校正功能。该模型可实现能源约束计算自动管理及任务自动调整功能,缩短任务规划周期,提升紧急任务的执行效率。对改进的模型进行仿真,结果表明:模型预测结果与预期值相符,任务调整和能源校正功能实现良好,能实际应用到运控系统中进行规划任务能源约束检查和能源管理。     

上升段飞行器目标的视频图像跟踪

粒子滤波是一种基于贝叶斯估计理论和蒙特卡罗理论的实时目标跟踪方法，具有较为灵活的并行化跟踪方式，能够较好地维持跟踪目标的假设状态，具有较好的跟踪效果和鲁棒性。上升段飞行器目标飞行视频图像跟踪是火箭等目标飞行监控的重要阶段，但现阶段对飞行器上升段的视频图像跟踪主要依靠人工手动操作云台控制器，实现视频图像中的飞行器跟踪，跟踪图像存在跟踪滞后、画面抖动等现象，跟踪效果受人为因素影响较大。本文提出一种基于粒子滤波方法的上升段飞行器目标视频图像跟踪方法，建立飞行器目标粒子滤波跟踪模型实现对飞行器目标的识别和跟踪，在识别和跟踪的基础上建立云台控制模型，通过对云台的智能控制获得飞行器上升段的高质量图像。采用火箭发射的视频图像作为模型验证的实验数据，检验飞行器目标的跟踪效果。     

基于幅频响应特性的半球谐振子频率裂解与固有刚度轴方位角测定方法

半球谐振子频率裂解与固有刚度轴方位角是影响陀螺性能指标的核心因素。提出了一种基于幅频响应特性的半球谐振子频率裂解与固有刚度轴方位角测定方法，采用压电激振台扫频激振，多普勒激光测振仪检测谐振子的幅频响应特性，通过幅频响应特性曲线分析实现频率裂解与固有刚度轴方位角的测定。对该方法进行了理论分析，搭建了实验装置，并对半球谐振子进行了测试，结果表明：该方法频率裂解测量精度优于0.01Hz，固有频率主轴方位角确定精度优于±1.17°，具有良好的可行性，在半球谐振陀螺研制方面具有良好的参考意义。     

移动机器人铣削制孔系统基准检测

结合航空大部件的数字化对接装配需求,设计了一套用于对接面铣削制孔的移动机器人加工系统,并提出具体的加工工艺流程。研究了基于激光轮廓扫描仪的大量散乱点云数据的预处理算法,提出基于栅格法和迭代拟合法的对接面特征提取算法。针对移动机器人加工系统在大场景下的高精度定位问题,提出基于扫描线法和最小二乘法原理的对接基准孔坐标找正算法。通过产品的加工实验验证,对接面铣削和制孔精度满足系统要求的各项技术指标,证明了本文提出的移动机器人铣削制孔系统的装配对接面加工方法能够精确地完成大部件数字化装配任务,对提高装配质量和效率具有重要意义。     

面向学生的智能解题专家系统的研究与设计

探讨了网络在专家系统中的应用 ,给出了一个基于网络的面向学生的智能解题专家系统的模型 ,分析了设计的基本过程。从专家系统出发 ,探讨了基于知识的推理系统。最后 ,从以上设计出发 ,总结了基于该模型的系统需进一步研究的工作。     

基于C167CS和MAS3507＋DAC3550解码器的音频播放器设计

多媒体播放器市场的快速发展为低成本的DSP/MCU混合器件的应用提供了发展的良机.本文分析了Infineon(SIEMENS)C167CS的结构,提出了Infineon(SIEMENS)C167CS单片机和MAS3507 DAC3550解码器开发的MP3播放器的方案,采用了自顶向下的设计方法对总体设计方案、硬件各个组成部分(播放器的硬件解码技术、数模转换的控制技术)和软件进行了分析和设计.全部程序用Keil公司的C编译器和链接器编译通过并运行良好,该系统具有实现简单,成本低,运行效率高,功能强大等优点,有很好的发展前途.     

利用热源温度场迭加法诊断持续点热源的强度及位置

可重复使用运载器的防热瓦故障会使航天器的局部结构产牛热源，并在结构中形成温度场。应用热源温度场迭加法的解函数，解得结构温度历程，然后据此温度的变化率趋势判断出热源位置，在此基础上依据多点测最值构造出辨识参数用于热强度识别，通过对一薄壁结构模型算例的计算仿真，证明了本文所提方法的有效性。论文工作为进一步开展热源诊断技术研究，提供了可资工程实践应用的数值算法体系以及有益的数值计算结论。     

微分学基本定理在极限计算中的应用

本文讨论了微分学的基本定理在极限求解过程中的三种应用,总结了一些简化极限运算的方法.     

保证数控铣加工的尺寸精度

本文介绍了数控编程和数控加工中保证零件的尺寸和公差要求的方法.一种方法是用公差的中间值作为终点坐标的尺寸编程;另一种方法是用公称尺寸编程,用公差的中间值作与公称尺寸的差值作为刀补值,通过刀具补偿保证尺寸要求.